281. Theory of computation : formal languages, automata, and complexity
المؤلف: Brookshear, J. Glenn
المکتبة: (طهران)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
B76
1989
282. Theory of finite automata
المؤلف: Carroll, John
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
C35
1989
283. Theory of finite automata
المؤلف: / John Carroll, Darrell Long
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Sequential machine theory.,Formal languages.
رده :
QA
,
267
.
5
,.
S4
,
C35
,
1989
284. Theory of finite automata
المؤلف: / John Carroll, Darrell Long,Carroll
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Sequential machine theory,Formal languages
رده :
QA
267
.
5
.
S4C35
1989
285. Theory of finite automata : with an introduction to formal languages
المؤلف: / John Carroll, Darrell Long
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Sequential machine theory,Formal language
رده :
QA276
.
5
.
S4C35
1989
286. Theory of finite automata: with an Introduction to formal languages
المؤلف: Joh, Carroll & Darrel, Long
المکتبة: کتابخانه دانشکده مدیریت دانشگاه تهران (طهران)
موضوع: Sequential machine theory
287. Theory of finite automata : with an introduction to formal languages
المؤلف: Carroll, John
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4C35
1989
288. Theory of finite automata : with and introduction to formal languages
المؤلف: Carroll, John
المکتبة: (طهران)
موضوع: Sequential machine theory , Formal languages
رده :
QA
267
.
5
.
S4
C35
289. Theory of machines and computations; proceedings
المؤلف: Edited by Zvi Kohavi and Azaria Paz
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
290. Theory of machines and computations; proceedings
المؤلف: International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
291. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
المؤلف: edited by Ehud Shapiro.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
292. Turkish natural language processing /
المؤلف: Kemal Oflazer, Murat Saraçlar, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.,Artificial intelligence.,Computational linguistics.,COMPUTERS-- General.,Imaging systems & technology.,Natural language & machine translation.,Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.
رده :
QA76
.
9
.
N38
293. Word proccessing in groups
المؤلف: / David B.A. Epstein, with James W.Cannon...{et al.],Epstein
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Sequential machine theory,Group theory,Formal languages
رده :
QA
267
.
5
.
S4E67
1992
294. Word processing in groups
المؤلف: Epstein, David B. A.
المکتبة: (طهران)
موضوع: ، Sequential machine theory,، Group theory,، Formal languages
رده :
QA
267
.
5
.
S4E6
295. Words, Semigroups & Transductions :
المؤلف: editors, Masami Ito, Gheorghe Păun, Sheng Yu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages.,Group theory.,Machine theory.,Formal languages.,Group theory.,Machine theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA267
.
3
.
W67
2001eb
296. Words, languages, and combinatorics III
المؤلف: editors, Masami Ito, Teruo Imaoka.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Semigroups, Congresses.
297. تشریح جامع مسائل نظریه زبان ها و ماشین ها بر اساس کتاب پیتر لینز - ویراست پنجم
المؤلف: مولفان لیلا صالحی? سعید ربیعی? ابراهیم علایی.,صالحی? لیلا
المکتبة: كتابخانه مركزي و مركز اسناد شهيد مطهري دانشگاه رازى (کرمانشاه)
موضوع: زبان های صوری Formal languages زبان های صوری -- آزمون ها و تمرین ها )عالی( Formal languages -- Examinations, questions, etc. )Higher( نظریه ماشین Machine theory نظریه ماشین -- آزمون ها و تمرین ها )عالی( Machine theory -- Examinations, questions, etc. )Higher(
رده :
QA
267/3
/
ل
9
م
726
298. تشریح جامع مسائل نظریه زبان‌ها و ماشین‌ها بر اساس کتاب پیترلینز
المؤلف: / مولفان: لیلا صالحی، سعید ربیعی، ابراهیم علایی
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: زبان‌های صوری,Formal languages,زبان‌های صوری -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Formal languages,نظریه ماشین,Machine theory,نظریه ماشین -- آزمون‌ها و تمرین‌ها (عالی),(Examinations, questions, etc. (Higher -- Machine theory
رده :
QA
۲۶۷
/
۳
/
ل
۹
م
۷۲۶ ۱۳۹۶
299. مقدمه‌ای بر نظریه زبان‌ها و ماشین‌ها
المؤلف: / مولفان: پیتر لینز، سوزان‌اچ. راجر,عنوان اصلی: An introduction to formal languages and automata, 7th ed.,ل‍ی‍ن‍ت‍س,Linz
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: زبان‌های صوری,Formal languages,نظریه ماشین,Machine theory,a01,a01,a02,a02
رده :
QA
۲۶۷
/
۳
/
ن
۶،
ل
۹ ۱۴۰۰
300. نظریه زبان ها و ماشین ها
المؤلف: مولف فردين شاپوری.,شاپوری
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: نظریه ماشین,Machine theory,زبان‌های صوری,Formal languages,a01,a02
رده :
QA
۲۶۷
/
ش
۲
ن
۶ ۱۳۹۶
